Frechet derivative of Integrate[x'[t]^2/2 - Cos[x[t]], {t, -inf, inf}] wrt x[tau]